rm -rf klee* *.o
